منابع مشابه
Parameterized Synthesis
We study the synthesis problem for distributed architectures with a parametric number of finite-state components. Parameterized specifications arise naturally in a synthesis setting, but thus far it was unclear how to decide realizability and how to perform synthesis. Using a classical result from verification, we show that for specifications in LTL\X, parameterized synthesis of token ring netw...
متن کاملTowards Efficient Parameterized Synthesis
Parameterized synthesis was recently proposed as a way to circumvent the poor scalability of current synthesis tools. The method uses cut-off results in token rings to reduce the problem to bounded distributed synthesis, and thus ultimately to a sequence of SMT problems. This solves the problem of scalability in the size of the architecture, but experiments show that the size of the specificati...
متن کاملDistributed Synthesis for Parameterized Temporal Logics
We consider the synthesis of distributed implementations for specifications in parameterized temporal logics such as PROMPT–LTL, which extends LTL by temporal operators equipped with parameters that bound their scope. For single process synthesis, it is well-established that such parametric extensions do not increase worst-case complexities. For synchronous distributed systems, we show that, de...
متن کاملParameterized Facial Expression Synthesis for Videoconferencing Applications
In this paper we propose a method of creating intermediate facial expressions based on primary ones [1]. To achieve this goal we utilize both Facial Definition Parameters (FDPs) and Facial Animation Parameters (FAPs). We introduce a way for modeling the primary expressions using FAPs and we describe a rule-based technique for the synthesis of intermediate ones. Furthermore, a relation between F...
متن کاملPARTY Parameterized Synthesis of Token Rings
Synthesis is the process of automatically constructing an implementation from a specification. In parameterized synthesis, we construct a single process such that the distributed system consisting of an arbitratry number of copies of the process satisfies a parameterized specification. In this paper, we present Party, a tool for parameterized synthesis from specifications in indexed linear temp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2014
ISSN: 1860-5974
DOI: 10.2168/lmcs-10(1:12)2014